punch knife - German English Dictionary